Using Vampire to Reason with OWL
نویسندگان
چکیده
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full FOL can potentially be used instead of dedicated DL reasoners to solve OWL DL reasoning tasks. In this paper we report on some experiments designed to explore the feasibility of using existing general-purpose FOL provers to reason with OWL DL. We also extend our approach to SWRL, a proposed rule language extension to OWL.
منابع مشابه
Outbreak of vampire bat biting in a Venezuelan village.
An outbreak of 154 cases of vampire bat biting in a four-month period in the gold mine of Payapal, a Venezuelan village, is reported. All patients were bitten during the night and the most bites were on their toes. No complication attributed to the bite was reported. Diagnoses of rabies virus made by means of immunofluorescence were negative. A possible reason for this outbreak may been the dev...
متن کاملReasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasoners. However, the development of more expressive ontology languages requires the use of theorem provers able to reason with full first-order logic and even its extensions. So far, theorem provers have extensively been ...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملContext Slices: Representing Contexts in OWL
This ontology pattern can be used to represent and reason about contextualized statements using standard OWL dialects. The simple idea is to bundle the notion of context into certain nodes in the graph, rather than the more typical treatment of contexts as a property of the statements themselves.
متن کاملUsing OWL Design Patterns for Modeling and Reasoning with Organizational Policies
Organizations use policies to manage business cases effectively and efficiently. However, when they start defining their policies, they are often incomplete. In order to enact the incomplete set of policies they define a default policy that is used for cases that do not match the initial policy set. Since matching a business case to a set of policies is a classification problem, we suggest that...
متن کامل